The Soundness of Component NextGen
نویسندگان
چکیده
This technical report presents a type soundness proof for Core CGen, a small, formal language designed for studying the addition of a component system based on genericity to a nominally typed objectoriented language supporting first-class generics. Core CGen captures the most intricate aspects of the Component NextGen programming language, an extension of the NextGen architecture that provides efficient support for first-class generics in Java, and maintains full compatibility with existing Java Virtual Machines. We begin by reviewing the semantics of Core CGen, and the proceed by establishing several key lemmas. Finally, we conclude by establishing preservation and progress theorems.
منابع مشابه
Safe Instantiation in Generic Java
This paper presents the “safe-instantiation principle” a new design principle for evaluating extensions of Java with support for generic types. We discuss the GJ and NextGen formulations of Generic Java and the implications of safe instantiation on both approaches. We then consider the implications of safe-instantiation for the addition of mixins to Java via generic types. Finally, we defend th...
متن کاملThe use of the NextGen model atmospheres for cool giants in a light curve synthesis code
We have written a light curve synthesis code that makes direct use of model atmosphere specific intensities, in particular the NextGen model atmosphere grid for cool giants (Teff ≤ 6800 K and log(g) ≤ 3.5, Hauschildt et al. 1999). We point out that these models (computed using spherical geometry) predict a limb darkening behaviour that deviates significantly from a simple linear or two-paramete...
متن کاملThe use of the NextGen model atmospheres for cool giants in a light curve synthesis code
We have written a light curve synthesis code that makes direct use of model atmosphere specific intensities, in particular the NextGen model atmosphere grid for cool giants (Teff ≤ 6800 K and log(g) ≤ 3.5, Hauschildt et al. 1999). We point out that these models (computed using spherical geometry) predict a limb darkening behaviour that deviates significantly from a simple linear or two-paramete...
متن کاملPoisson factor models with applications to non-normalized microRNA profiling
MOTIVATION Next-generation (NextGen) sequencing is becoming increasingly popular as an alternative for transcriptional profiling, as is the case for micro RNAs (miRNA) profiling and classification. miRNAs are a new class of molecules that are regulated in response to differentiation, tumorigenesis or infection. Our primary motivating application is to identify different viral infections based o...
متن کاملThe Impact of Regulation on Soundness of Banking:A panel Data Approach
The recent financial crisis has shown that the reforming in regulation and supervision is essential. This paper studies whether banking regulation improves bank soundness or more regulation lead to decrease soundness of banking. Specifically, countries which require banks to report regularly and accurately their financial data to regulators and market participants have sounder banks. In th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007